<?php

$timer = service('timer');
